Test Case Generation

TPT can automatically generate test cases.

Examples - TASMO for Simulink

Demonstrates how to generate test cases from MATLAB/Simulink models using TASMO